English Supervisory Control Of Program Execution: translation to other languages